Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.toยท13hยท
Discuss: DEV
๐ŸŒŠStream Processing
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.comยท13hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Song recommendations from F# combinators
blog.ploeh.dkยท2d
๐Ÿ”—Functional Compilers
Counting with Categories (Part 3)
golem.ph.utexas.eduยท22h
ฮปLambda Formalization
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท7h
๐Ÿ“Concrete Syntax
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.orgยท1d
๐ŸŽฏPerformance Proofs
Fixes for five Lix CVEs
lix.systemsยท22hยท
Discuss: Lobsters
โ„๏ธNix Adoption
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.meยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Lisp
Mastering Malware Analysis: A SOC Analystโ€™s Guide to Dynamic Analysis with AnyRun
infosecwriteups.comยท5h
๐Ÿฆ Malware Analysis
Field Sensitive Escape Analysis in Golang?
reddit.comยท8hยท
Discuss: r/golang
๐Ÿง Lisp Dialects
LR(1) parse-tables generator
github.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”Z3 Parsing
HariSekhon/DevOps-Bash-tools
github.comยท12h
๐ŸšShell Automation
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.ioยท2d
ฮปLambda Encodings
Proving that every program halts
ntietz.comยท2d
๐Ÿ‘‘Isabelle
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.comยท6h
โฌ†๏ธLambda Lifting
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.devยท1dยท
Discuss: Hacker News, r/javascript, r/webdev
๐Ÿฆ€Rust Macros
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.comยท13h
๐ŸงฎProlog Parsing
Lessons from LangChain and Slack and MCP Integration
medium.comยท16hยท
Discuss: Hacker News
๐Ÿ”—Topological Sorting
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.ukยท2d
๐Ÿ’ปProgramming languages
Cactus Language โ€ข Syntax 11
inquiryintoinquiry.comยท1d
๐Ÿ“Concrete Syntax